Relations in OCL
نویسنده
چکیده
OCL is proposed as a query language within the QVT framework. The main QVT submission bases the specification of transformations on the concept of relations. Relations are not first class entities within the OCL. By extending OCL with the concept of Relations it can better serve the needs of the QVT framework. In particular this enables OCL to be used as a semantic interpretation of a QVT transformation language and may even facilitate the use of OCL as a transformation specification language.
منابع مشابه
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL
Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. In this paper, we propose to use active operations in order to achieve incremental execution of some OCL expressions. Moreover, bidirectionality can also be achieved in non-trivial
متن کاملStrengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
Collections, i. e., sets, bags, ordered sets and sequences, play a central role in UML and OCL models. Essential OCL operations like role navigation, object selection by stating properties and the first order logic universal and existential quantifiers base upon or result in collections. In this paper, we show a uniform representation of flat and nested, but typed OCL collections as well as str...
متن کاملAn Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries
Topological integrity constraints control the topological properties of spatial objects and the validity of their topological relationships in spatial databases. These constraints can be specified by using formal languages such as the spatial extension of the Object Constraint Language (OCL). Spatial OCL allows the expression of topological constraints involving crisp spatial objects. However, ...
متن کاملFormalization of QVT-Relations: OCL-based Static Semantics and Alloy-based Validation
The OMG QVT standard aims at consolidating and simplifying the model transformation landscape by offering three domain-specific languages (Relations, Operational Mappings, and Core) inspired in the declarative and imperative paradigms. We focus on QVT-Relations, which allows declaring a transformation as a set of relations that should hold between concrete models. The standard states the wellfo...
متن کاملA Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation preand postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query expressions that cannot otherwise be expr...
متن کامل